Computing SyncCharts Reactions
نویسنده
چکیده
SYNCCHARTS are a state-based visual synchronous model. Though using a simple graphical syntax, SYNCCHARTS may exhibit complex instantaneous behavior, mixing concurrent evolutions, preemptions and state re-incarnations. This paper explains such reactions in terms of microsteps. The underlying semantics is a constructive semantics, fully compatible with the ESTEREL’s semantics. The semantics is presented in a semi-formal way, as resulting from the cooperation of concurrent reactive cells.
منابع مشابه
Behavioral Specification of a Circuit Using SyncCharts: A Case Study
In this paper we propose a high-level description of the behavior of digital systems. Behaviors are specified with a graphical synchronous model: “SyncCharts”. SyncCharts supports hierarchical descriptions, concurrency and preemption. It is fully compatible with the programming environment of the Esterel synchronous language and can generate output formats understandable by synthesis tools. Tha...
متن کاملHigh Level Design using SyncCharts: A Case Study
This presentation shows how “SyncCharts” can be used in the design of a controller. “SyncCharts” is a graphical synchronous formalism that inherits from Statecharts in its look and from Esterel in its foundations. SyncCharts supports hierarchical descriptions, concurrency and preemption. We use it to express the exepected behavior of control-dominated systems. Choosing the non trivial example o...
متن کاملScenario and Property Checking of Real-Time Systems Using a Synchronous Approach
This paper addresses the design of control-dominated systems using a synchronous approach and the UML. The work aims at formally checking the design: scenarios/controller consistency, and safety properties. For this, a strengthening of UML behavioral models is necessary: SyncCharts are used instead of Statecharts, and Sequence Diagrams are modified by adding synchronously sound constructs akin ...
متن کاملRepresentation and Analysis of Reactive Behaviors: A Synchronous Approach
Reactive systems involve communication, concurrency and preemption. Few models support these three concepts, even less can correctly deal with their coexistence. The synchronous paradigm allows a rigourous approach to this problem, crucial to reactive systems. This paper analyzes the underlying hypotheses of the synchronous approach. Reactive behaviors are characterized. A new visual model (SYN...
متن کاملOptimized Implementation of Distributed Real-Time Embedded Systems Mixing Control and Data Processing
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessarily satisfy the global specification, and consequently increases the development cycle because more tests are needed. Then, we propose, in order to obtain a single real-time code, to translate state diagram specification i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 88 شماره
صفحات -
تاریخ انتشار 2004